高橋正子『コンピュータと数学 (現代基礎数学)』